import static org.junit.Assert.*;

import org.junit.Test;

public class null_pointer_dereferenceTest {
  @Test
  public void test() {
    null_pointer_dereference.defer();
  }
}
